/*
 * timer.h
 *
 * Created: 27.11.2012 12:49:13
 *  Author: Stefan
 */ 


#ifndef TIMER_H_
#define TIMER_H_

volatile unsigned char count72kHz;

void init_Timer0();

#endif /* TIMER_H_ */